منابع مشابه
Black holes in Gödel universes and pp waves.
We find exact solutions for rotating and nonrotating neutral black holes in the Gödel universe of five-dimensional minimal supergravity theory. We also describe the embedding of this solution in M-theory. After dimensional reduction and T-duality, we obtain a supergravity solution corresponding to placing a black string in a pp-wave background.
متن کاملType Checking with Universes
Various formulations of constructive type theories have been proposed to serve as the basis for machine-assisted proof and as a theoretical basis for studying programming languages. Many of these calculi include a cumulative hierarchy of \universes," each a type of types closed under a collection of type-forming operations. Universes are of interest for a variety of reasons, some philosophical ...
متن کاملOn Universes in Type Theory
The notion of a universe of types was introduced into constructive type theory by Martin-Löf (1975). According to the propositions-as-types principle inherent in type theory, the notion plays two rôles. The first is as a collection of sets or types closed under certain type constructions. The second is as a set of constructively given infinitary formulas. In this paper we discuss the notion of ...
متن کاملGödel-type Universes and the Landau problem
We point out a close relation between a family of Gödel-type solutions of 3+1 General Relativity and the Landau problem in S2,R2 and H2; in particular, the classical geodesics correspond to Larmor orbits in the Landau problem. We discuss the extent of this relation, by analyzing the solutions of the Klein-Gordon equation in these backgrounds. Guided by the analogy with the Landau problem, we sp...
متن کاملWeyl Equation in Gödel Type Universes
The Weyl equation (massless Dirac equation) is studied in a family of metrics of the Gödel type. The field equation is solved exactly for one member of the family. PACS numbers 04.20q,04.20.Jb,04.40+c,98.80.k
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review D
سال: 2009
ISSN: 1550-7998,1550-2368
DOI: 10.1103/physrevd.80.063009